A Formal Approach to Cyber-Physical Attacks

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on %a formal treatment of both integrity and DoS attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks. Our contributions are threefold: (1) we define a hybrid process calculus to model both CPSs and cyber-physical attacks; (2) we define a threat model of cyber-physical attacks and provide the means to assess attack tolerance/vulnerability with respect to a given attack; (3) we formalise how to estimate the impact of a successful attack on a CPS and investigate possible quantifications of the success chances of an attack. We illustrate definitions and results by means of a non-trivial engineering application

A soft, sensorized gripper for delicate harvesting of small fruits

Harvesting fruits and vegetables is a complex task worth to be fully automated with robotic systems. It involves several precision tasks that have to be performed with accuracy and the appropriate amount of force. Classical mechanical grippers, due to the complex control and stiffness, cannot always be used to harvest fruits and vegetables. Instead, the use of soft materials could provide a visible advancement. In this work, we propose a soft, sensorized gripper for harvesting applications. The sensing is performed by tracking a set of markers integrated into the soft part of the gripper. Different machine learning-based approaches have been used to map the markers’ position and dimensions into forces in order to perform a close-loop control of the gripper. Results show that force can be measured with an error of 2.6% in a range from 0 to 4 N. The gripper was integrated into a robotic arm having an external vision system used to detect plants and fruits (strawberries in our case scenario). As a proof of concept, we evaluated the performance of the robotic system in a laboratory scenario. Plant and fruit identification reached a positive rate of 98.2% and 92.4%, respectively, while the correct picking of the fruits, by removing it from the stalk without a direct cut, achieved an 82% of successful rate

Collision avoidance and dynamic modeling for wheeled mobile robots and industrial manipulators

Collision Avoidance and Dynamic Modeling are key topics for researchers dealing with mobile and industrial robotics. A wide variety of algorithms, approaches and methodologies have been exploited, designed or adapted to tackle the problems of finding safe trajectories for mobile robots and industrial manipulators, and of calculating reliable dynamics models able to capture expected and possible also unexpected behaviors of robots. The knowledge of these two aspects and their potential is important to ensure the efficient and correct functioning of Industry 4.0 plants such as automated warehouses, autonomous surveillance systems and assembly lines. Collision avoidance is a crucial aspect to improve automation and safety, and to solve the problem of planning collision-free trajectories in systems composed of multiple autonomous agents such as unmanned mobile robots and manipulators with several degrees of freedom. A rigorous and accurate model explaining the dynamics of robots, is necessary to tackle tasks such as simulation, torque estimation, reduction of mechanical vibrations and design of control law

Minimal controllability time for systems with nonlinear drift under a compact convex state constraint

In this paper we estimate the minimal controllability time for a class of non-linear control systems with a bounded convex state constraint. An explicit expression is given for the controllability time if the image of the control matrix is of co-dimension one. A lower bound for the controllability time is given in the general case. The technique is based on finding a lower dimension system with the similar controllability properties as the original system. The controls corresponding to the minimal time, or time close to the minimal one, are discussed and computed analytically. The effectiveness of the proposed approach is illustrated by a few examples.Comment: Accepted for publication in Automatic

Efficient implementation of the Shack-Hartmann centroid extraction for edge computing

Adaptive optics (AO) is an established technique to measure and compensate for optical aberrations. One of its key components is the wavefront sensor (WFS), which is typically a Shack-Hartmann sensor (SH) capturing an image related to the aberrated wavefront. We propose an efficient implementation of the SH-WFS centroid extraction algorithm, tailored for edge computing. In the edge-computing paradigm, the data are elaborated close to the source (i.e., at the edge) through low-power embedded architectures, in which CPU computing elements are combined with heterogeneous accelerators (e.g., CPUs, field-programmable gate arrays). Since the control loop latency must be minimized to compensate for the wavefront aberration temporal dynamics, we propose an optimized algorithm that takes advantage of the unified CPU/GPU memory of recent low-power embedded architectures. Experimental results show that the centroid extraction latency obtained over spot images up to 700 x 700 pixels wide is smaller than 2 ms. Therefore, our approach meets the temporal requirements of small- to medium-sized AO systems, which are equipped with deformable mirrors having tens of actuators. (C) 2020 Optical Society of Americ

Inertial Parameter Identification Including Friction and Motor Dynamics

Identification of inertial parameters is fundamental for the implementation of torque-based control in humanoids. At the same time, good models of friction and actuator dynamics are critical for the low-level control of joint torques. We propose a novel method to identify inertial, friction and motor parameters in a single procedure. The identification exploits the measurements of the PWM of the DC motors and a 6-axis force/torque sensor mounted inside the kinematic chain. The partial least-square (PLS) method is used to perform the regression. We identified the inertial, friction and motor parameters of the right arm of the iCub humanoid robot. We verified that the identified model can accurately predict the force/torque sensor measurements and the motor voltages. Moreover, we compared the identified parameters against the CAD parameters, in the prediction of the force/torque sensor measurements. Finally, we showed that the estimated model can effectively detect external contacts, comparing it against a tactile-based contact detection. The presented approach offers some advantages with respect to other state-of-the-art methods, because of its completeness (i.e. it identifies inertial, friction and motor parameters) and simplicity (only one data collection, with no particular requirements).Comment: Pre-print of paper presented at Humanoid Robots, 13th IEEE-RAS International Conference on, Atlanta, Georgia, 201

Stochastic port--Hamiltonian systems

In the present work we formally extend the theory of port--Hamiltonian systems to include random perturbations. In particular, suitably choosing the space of flows and effort variables we will show how several elements coming from possibly different physical domains can be interconnected in order to describe a dynamics perturbed by general semimartingale. In this sense the noise does not enter the system solely as an external random perturbation but each port is a semimartingale in itself. We will show how the present treatment, extend pseudo-Poisson an pre--symplectic geometric mechanics. At last, we will show that a power preserving interconnection of stochastic port--Hamiltonian system defines again a stochastic port--Hamiltonian system

cost effective quality assessment in industrial parts manufacturing via optical acquisition

Abstract We tackle the problem of dimensional verification via optical acquisition systems in the context of industrial manufacturing processes. Optical methods for quality inspection play a crucial part in the transition process to industry 4.0 and, despite the lack of international standardization, several solutions are available to industries that need to provide dimensional verification to their customers. Unfortunately most of these solutions are still economically unavailable to the majority of small or medium companies. In this paper we present an optical system based on low-cost components and we demonstrate that it provides useful and reliable information in quality inspection procedures

A mixed-autonomous robotic platform for intra-row and inter-row weed removal for precision agriculture

The presence of weeds poses a common and persistent problem in crop cultivation, affecting both yield and overall agricultural productivity. Common solutions to the problem typically include chemical pesticides, mulching, or mechanical weeding performed by agricultural implements or humans. Even if effective, those techniques have several drawbacks, including soil and water pollution, high cost-effectiveness ratio or stress for operators. In recent years, novel robotic solutions have been proposed to overcome current limitations and to move towards more sustainable approaches to weeding. This work presents a mixed-autonomous, robotic, weeding system based on a fully integrated three-axis platform and a vision system mounted on a mobile rover. The rover’s motion is remotely controlled by a human operator, while weeds identification and removal is performed autonomously by the robotic system. Once in position, an RGB-D camera captures the portion of field to be treated. The acquired spatial, color and depth information is used to classify soil, the main crop, and the weeds to be removed using a pre-trained Deep Neural Network. Each target is then analyzed by a second RGB-D camera (mounted on the gripper) to confirm the correct classification before its removal. With the proposed approach, weeds are all the plants not classified as the main crop known a priori. The performance of the integrated robotic system has been tested in laboratory as well as in open field and in greenhouse conditions. The system was also tested under different light and shadowing conditions to evaluate the performance of the Deep Neural Network. Results show that the identification of the plants (both crop and weeds) is above 95%, increasing to 98% when additional information, such as the intra-row spacing, is provided. Nevertheless, the correct identification of the weeds remains above 97% ensuring an effective removal of weeds (up to 85%) with negligible crop damage (less than 5%)